Fraïssé's Construction from a Topos-Theoretic Perspective
نویسنده
چکیده
We present a topos-theoretic interpretation of (a categorical generalization of) Fraïssé's construction in Model Theory, with applications to homogeneous models and countably categorical theories. Mathematics Subject Classi cation (2010). Primary 03G30; Secondary 03C35, 18C10, 18B25.
منابع مشابه
Variable sets over an algebra of lifetimes: a contribution of lattice theory to the study of computational topology
A topos theoretic generalisation of the category of sets allows for modelling spaces which vary according to time intervals. Persistent homology, or more generally persistence, is a central tool in topological data analysis, which examines the structure of data through topology. The basic techniques have been extended in several different directions, encoding topological features by so called b...
متن کاملComparing intuitionistic quantum logics From orthomodular lattices to frames
The aim of this dissertation is to explore two different forms of intuitionistic quantum logic, one due to Isham, Butterfield and Döring, and the second due to Coecke. The two schemes have very different philosophical and physical motivations, and we explore how this leads to differences in the lattice extensions that they introduce. Isham, Butterfield and Döring suggested the so-called topos a...
متن کاملQuantum Observables Algebras and Abstract Differential Geometry: The Topos-Theoretic Dynamics of Diagrams of Commutative Algebraic Localizations
We construct a sheaf-theoretic representation of quantum observables algebras over a base category equipped with a Grothendieck topology, consisting of epimorphic families of commutative observables algebras, playing the role of local arithmetics in measurement situations. This construction makes possible the adaptation of the methodology of Abstract Differential Geometry (ADG), à la Mallios, i...
متن کاملA General Construction of Internal Sheaves in Algebraic Set Theory
We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothendieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming t...
متن کاملSheafifying Consistent Histories
Isham’s topos-theoretic perspective on the logic of the consistent-histories theory [34] is extended in two ways. First, the presheaves of consistent sets of history propositions in their corresponding topos originally proposed in [34] are endowed with a Vietoristype of topology and subsequently they are sheafified with respect to it. The category resulting from this sheafification procedure is...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Logica Universalis
دوره 8 شماره
صفحات -
تاریخ انتشار 2014